Asarin, E. A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On some algorithms for non-parametric identification of linear systems

E. Asarin, E. Gorin, M. Krasnosel'skii, N. Kuznetsov

Journal:

Applied Numerical Mathematics

Year:

1994

Language:

english

File:

PDF, 332 KB

english, 1994

2

Probable maximum flood (PMF): basic information and problems with the procedure used for its calculation in Russia

A. N. Zhirkevich, A. E. Asarin

Journal:

Power Technology and Engineering

Year:

2010

Language:

english

File:

PDF, 93 KB

english, 2010

3

Reachability analysis of dynamical systems having piecewise-constant derivatives

Eugene Asarin, Oded Maler, Amir Pnueli

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.91 MB

english, 1995

4

On modelling systems with non-synchronously operating impulse elements

E.A. Asarin, M.A. Krasnoselskii, V.S. Kozyakin, N.A. Kuznetsov

Journal:

Mathematical and Computer Modelling

Year:

1990

Language:

english

File:

PDF, 334 KB

english, 1990

5

Analysis of water-management balances of reservoir-controlled rivers (methodological recommendations)

A. E. Asarin, E. N. Antipov, I. S. Deineka, T. A. Leonidova, Ya. I. Sakharovich, V. A. Chaplygin

Journal:

Power Technology and Engineering

Year:

1978

Language:

english

File:

PDF, 188 KB

english, 1978

6

Timed Formal Languages - A Framework for Hybrid Systems

Asarin, Eugene, Caspi, Paul, Maler, Oded

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 878 KB

english, 1998

7

Water Supply Issues

Journal:

Water Resources

Year:

2005

Language:

english

File:

PDF, 35 KB

english, 2005

8

Optimal control for timed automata 1

Asarin, Eugene, Maler, Oded

Journal:

IFAC Proceedings Volumes

Year:

1999

Language:

english

File:

PDF, 3.65 MB

english, 1999

9

Analytical floods and dam safety

A. E. Asarin, V. M. Semenkov

Journal:

Power Technology and Engineering

Year:

1992

Language:

english

File:

PDF, 203 KB

english, 1992

10

Fluctuations of river runoff and power production of Russian hydroelectric stations

A. E. Asarin, K. N. Bestuzheva

Journal:

Power Technology and Engineering

Year:

1997

Language:

english

File:

PDF, 525 KB

english, 1997

11

On the Equivalence of Being Typical and Chaotic for Finite Objects

Journal:

Theory of Probability & Its Applications

Year:

1991

Language:

english

File:

PDF, 210 KB

english, 1991

12

On convergence of uniform approximations of continuous functions

Journal:

Russian Mathematical Surveys

Year:

1984

Language:

english

File:

PDF, 146 KB

english, 1984

13

Stability Analysis of Desynchronized Systems

Asarin, E.A., Krasnoselskii, M.A., Kozyakin, V.S., Kuznetsov, N.A.

Journal:

IFAC Proceedings Volumes

Year:

1990

Language:

english

File:

PDF, 1.27 MB

english, 1990

14

Low dimensional hybrid systems – decidable, undecidable, donʼt know

Eugene Asarin, Venkatesh P. Mysore, Amir Pnueli, Gerardo Schneider

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 591 KB

english, 2012

15

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Perturbed Turing machines and hybrid systems

Asarin, E., Bouajjani, A.

Year:

2001

Language:

english

File:

PDF, 890 KB

english, 2001

16

Chaotic phenomena in desynhcronized systems and stability analysis

E. Asarin, Phil Diamond, I. Fomenko, A. Pokrovskii

Journal:

Computers & Mathematics with Applications

Year:

1993

Language:

english

File:

PDF, 359 KB

english, 1993

17

d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems

Asarin, Eugene, Dang, Thao, Maler, Oded

Journal:

IFAC Proceedings Volumes

Year:

2001

Language:

english

File:

PDF, 676 KB

english, 2001

18

Mark Alexandrovich Krasnosel'skii, (April 27, 1920 - February 13, 1997)

Asarin, E. A., Bakhtin, I. A., Bobylev, N. A., Bondarenko, V. A., Burd, V. Sh., Chernorutskii, V. V., Gorin, E. A., Kozyakin, V. S., Krasnosel'skii, A. M., Kurzhanskii, A. B., Kuznetsov, N. A., Levin,

Journal:

Journal of Applied Mathematics and Stochastic Analysis

Year:

1997

Language:

english

File:

PDF, 4.23 MB

english, 1997

19

Dams and extreme floods

Journal:

Power Technology and Engineering

Year:

1993

Language:

english

File:

PDF, 370 KB

english, 1993

20

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Simple Algorithm for Simple Timed Games

Abdeddaim, Yasmina, Asarin, Eugène, Sighireanu, Mihaela

Year:

2009

Language:

english

File:

PDF, 302 KB

english, 2009

21

Algorithmic analysis of polygonal hybrid systems, part I: Reachability

Eugene Asarin, Gerardo Schneider, Sergio Yovine

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 2.15 MB

english, 2007

22

Hybridization methods for the analysis of nonlinear systems

Eugene Asarin, Thao Dang, Antoine Girard

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 415 KB

english, 2007

23

Sergei Nikolaevich Kritskii—One of the main founders of stochastic hydrology and the theory of river runoff management (on the 110th anniversary)

A. E. Asarin, L. F. Sotnikova

Journal:

Water Resources

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

24

Social and Ecological Aspects of the Three Gorges Project

A. E. Asarin, G. G. Lapin

Journal:

Power Technology and Engineering

Year:

2001

Language:

english

File:

PDF, 56 KB

english, 2001

25

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - A Kleene theorem for timed automata

Asarin, E., Caspi, P., Maler, O.

Year:

1997

Language:

english

File:

PDF, 943 KB

english, 1997

26

[IEEE 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Munich, Germany (2006.10.4-2006.10.6)] 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Recent progress in continuous and hybrid reachability analysis

Asarin, Eugene, Dang, Thao, Frehse, Goran, Girard, Antoine, Le Guernic, Colas, Maler, Oded

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

27

Radiation consequences of a hypothetical failure of a dam at the coolant reservoir of the chernobyl nuclear power plant

A. L. Kononovich, A. M. Prudovskii, S. Ya. Shkol'nikov, A. E. Asarin, A. N. Zhirkevich, B. Ya. Oskolkov, A. V. Nosovskii, L. E. Kulikov, Yu. A. Ostryanin

Journal:

Year:

2000

Language:

english

File:

PDF, 382 KB

english, 2000

28

Some Properties of Kolmogorov $\Delta$-Random Finite Sequences

Journal:

Theory of Probability & Its Applications

Year:

1988

Language:

english

File:

PDF, 196 KB

english, 1988

29

Controller Synthesis for Timed Automata 1

Asarin, Eugene, Maler, Oded, Pnueli, Amir, Sifakis, Joseph

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 1.69 MB

english, 1998

30

On the computation of covert channel capacity

Asarin, Eugene, Dima, Cătălin

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

31

Modeling evolution of the bacterial regulatory signals involving secondary structure

K. Yu. Gorbunov, E. V. Lyubetskaya, E. A. Asarin, V. A. Lyubetsky

Journal:

Molecular Biology

Year:

2009

Language:

english

File:

PDF, 1.58 MB

english, 2009

32

Scheduling with timed automata

Yasmina Abdeddaı¨m, Eugene Asarin, Oded Maler

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 604 KB

english, 2006

33

Method of determining the maximum flood inflow to the middle Enisei hydroelectric station

A. E. Asarin, B. S. Tseitlin, L. Ya. Dzheibo, M. N. L'vova

Journal:

Power Technology and Engineering

Year:

1982

Language:

english

File:

PDF, 556 KB

english, 1982

34

Problem of Caspian sea level fluctuations

Journal:

Power Technology and Engineering

Year:

1997

Language:

english

File:

PDF, 819 KB

english, 1997

35

Volga-Kama coordinated waterworks facilities (50 years after startup of the first generating set of the Kuibyshev hydropower plant)

A. E. Asarin, R. M. Khaziakhmetov

Journal:

Power Technology and Engineering

Year:

2005

Language:

english

File:

PDF, 114 KB

english, 2005

36

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - d/dt: a verification tool for hybrid systems

Asarin, E., Dang, T., Maler, O.

Year:

2001

Language:

english

File:

PDF, 645 KB

english, 2001

37

Use of synthetic inflow and evaporation sequences in the analysis of the expected water levels of closed basins

Journal:

Power Technology and Engineering

Year:

1972

Language:

english

File:

PDF, 276 KB

english, 1972

38

Entropy of regular timed languages

Asarin, Eugene, Basset, Nicolas, Degorre, Aldric

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

39

The Water-Balance Components of the Aral Sea and their Impact on Long-Term Level Fluctuations

Journal:

Soviet Geography

Year:

1974

Language:

english

File:

PDF, 750 KB

english, 1974

40

Regimes of passage of high floods through the cascade of hydrostations on the Volga and Kama rivers

Journal:

Power Technology and Engineering

Year:

1985

Language:

english

File:

PDF, 396 KB

english, 1985

41

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 4202 || Concurrent Semantics Without the Notions of State or State Transitions

Asarin, Eugene, Bouyer, Patricia

Year:

2006

Language:

english

File:

PDF, 407 KB

english, 2006

42

Effective synthesis of switching controllers for linear systems

Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.

Journal:

Proceedings of the IEEE

Year:

2000

Language:

english

File:

PDF, 469 KB

english, 2000

43

Timed regular expressions

Asarin, Eugene, Caspi, Paul, Maler, Oded

Journal:

Journal of the ACM

Year:

2002

Language:

english

File:

PDF, 352 KB

english, 2002

44

Preface: Volume 65, Issue 6

Eugene Asarin, Oded Maler, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

45

Balanced timed regular expressions

Eugene Asarin, Cătălin Dima

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

46

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.77 MB

english, 2008

47

Review of “reservoirs at hydroelectric stations in the USSR”

A. E. Asarin, I. P. Fedorov

Journal:

Power Technology and Engineering

Year:

1979

Language:

english

File:

PDF, 84 KB

english, 1979

48

Flooding During Operation of Water Reservoirs on the Volga and Kama Rivers

Journal:

Power Technology and Engineering

Year:

2001

Language:

english

File:

PDF, 98 KB

english, 2001

49

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

Eugene Asarin, Oded Maler

Journal:

Journal of Computer and System Sciences

Year:

1998

Language:

english

File:

PDF, 653 KB

english, 1998

50

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Asymptotic behaviour in temporal logic

Asarin, Eugene, Blockelet, Michel, Degorre, Aldric, Dima, Cătălin, Mu, Chunyan

Year:

2014

Language:

english

File:

PDF, 369 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски